win32: Add borders around scrolled windows

diff --git a/gtk/gtk-win32-base.css b/gtk/gtk-win32-base.css
index 30a37f580fdfd3f5c0b55c27584593606a06d0a1..32687eee9941125e9271d368a0ddc0cbaae99e7d 100644 (file)
--- a/gtk/gtk-win32-base.css
+++ b/gtk/gtk-win32-base.css
@@ -22,6 +22,9 @@ GtkViewport {
     -GtkWidget-link-color: -gtk-win32-color(button, 26);
     -GtkWidget-visited-link-color: -gtk-win32-color(button, 26);
     border-color: shade (@bg_color, 0.6);
+
+    -GtkScrolledWindow-scrollbars-within-bevel: 1;
+    -GtkScrolledWindow-scrollbars-spacing: 0;
 }
 
 GtkFrame {
@@ -74,6 +77,12 @@ GtkFrame {
     color: #fff;
 }
 
+GtkScrolledWindow.frame {
+  border-style: solid;
+  border-width: 2px;
+  border-image: -gtk-win32-theme-part(listview, 5 1) 2 2 2 2 stretch;
+}
+
 .view {
   border-width: 0;
   border-radius: 0;